/* -*- c -*-*/
#include "simple_types.h"
#include <cgreen/mocks.h>

int return_int(void) { 
  return (int) mock();
}

char return_char(char c) { 
  return (char) mock(c);
}

char *return_pointer_to_char(char *string) { 
  return (char *) mock(string);
}

